Tracking p-adic precision
نویسندگان
چکیده
We present a new method to propagate p-adic precision in computations, which also applies to other ultrametric fields. We illustrate it with many examples and give a toy application to the stable computation of the SOMOS 4 sequence.
منابع مشابه
ZpL: a p-adic precision package
We present a new package ZpL for the mathematical software system SageMath. It implements a sharp tracking of precision on p-adic numbers, following the theory of ultrametric precision introduced in [4]. The underlying algorithms are mostly based on automatic differentiation techniques. We introduce them, study their complexity and discuss our design choices. We illustrate the benefits of our p...
متن کاملCharacteristic Polynomials of p-adic Matrices
We analyze the precision of the characteristic polynomial χ(A) of an n × n p-adic matrix A using differential precision methods developed previously. When A is integral with precision O(p), we give a criterion (checkable in time O (̃n)) for χ(A) to have precision exactly O(p). We also give a O (̃n) algorithm for determining the optimal precision when the criterion is not satisfied, and give examp...
متن کاملp-adic Shearlets
The field $Q_{p}$ of $p$-adic numbers is defined as the completion of the field of the rational numbers $Q$ with respect to the $p$-adic norm $|.|_{p}$. In this paper, we study the continuous and discrete $p-$adic shearlet systems on $L^{2}(Q_{p}^{2})$. We also suggest discrete $p-$adic shearlet frames. Several examples are provided.
متن کاملLi-SERVICE? AN ALGORITHM FOR COMPUTING p-ADIC POLYLOGARITHMS
We describe an algorithm for computing Coleman’s p-adic polylogarithms up to a given precision.
متن کاملComputations with p-adic numbers
This document contains the notes of a lecture I gave at the “Journées Nationales du Calcul Formel” (JNCF) on January 2017. The aim of the lecture was to discuss low-level algorithmics for p-adic numbers. It is divided into two main parts: first, we present various implementations of p-adic numbers and compare them and second, we introduce a general framework for studying precision issues and ap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1402.7142 شماره
صفحات -
تاریخ انتشار 2014